221. Programmation en mathematiques numeriques, Besancon 7-14 Septtembre, 1966, [Actes.]
پدیدآورنده:
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع: Programming (Mathematics) - Congresses,Numerical analysis - Congresses,Matrices - Congresses
رده :
519
.
708
Co-P
222. Progress in industrial mathematics at ECMI 2016 /
پدیدآورنده: Peregrina Quintela, Patricia Barral, Dolores Gómez, Francisco J. Pena, Jerónimo Rodríguez, Pilar Salgado, Miguel E. Vázquez-Méndez, editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Engineering mathematics, Congresses.,Industrial engineering-- Mathematics, Congresses.,Applied mathematics.,Calculus & mathematical analysis.,Engineering mathematics.,Industrial engineering-- Mathematics.,Numerical analysis.,Optimization.,Probability & statistics.,TECHNOLOGY & ENGINEERING-- Engineering (General),TECHNOLOGY & ENGINEERING-- Reference.
رده :
TA329
223. Progress in mathematical programming:interior-point & related
پدیدآورنده: MEGIDDO,NIMROD
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: PROGRAMMING )MATHEMATICS(-CONGRESSES , LINEAR PROGRAMMING-CONGRESSES
رده :
QA
402
.
5
.
P785
1987
224. Proof and system-reliability
پدیدآورنده: edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
225. Proof technology and computation /
پدیدآورنده: edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
226. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
227. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
پدیدآورنده: Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
228. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
پدیدآورنده: Boi Faltings... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3419
229. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
پدیدآورنده: Barry O'Sullivan )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2627
230. Recent advances in mathematical programming
پدیدآورنده: / edited by Robert L. Graves
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع:
رده :
QA264
.
G7
231. Recent advances mathematical programming
پدیدآورنده: / Edited by Robert L Graves [and] Philip wolfe
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع: Programming (Mathematics) congresses
رده :
QA
264
.
G7
232. Recent mathematical methods in dynamic programming : Proceedings of the Conference held in Rome, Italy, March 26-28, 1984
پدیدآورنده: edited by I. Capuzzo Dolcetta, W. H. Fleming, and T. Zolezzi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Dynamic programming,Congresses ، Control theory
رده :
QA
3
.
L28
Vol
.
1119
233. Recent mathematical methods in dynamic programming: proceedings of the conference held in Roma, Italy, March 26-28, 1984
پدیدآورنده: edited by I. Capuzzo Doicetta, W.H. Fleming and T. Zolezzi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Dynamic programming,Congresses ، Control theory
رده :
QA
3
.
L28
no
.
1119
234. Recent mathematical methods in dynamic programming : proceedings of the conference held in Rome, Italy, March 26-28, 1984
پدیدآورنده: edited by I. Capuzzo Dolcetta, W.H. Fleming, and T. Zolezzi
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Dynamic programming,Congresses ، Control theory
رده :
T
57
.
83
.
R4
1984
235. Recent mathematical methods in dynamic programming : proceedings of the conference held in Rome, Italy, March 26-28, 1984
پدیدآورنده: edited by I. Capuzzo Dolcetta, W.H. Fleming, and T. Zolezzi
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Dynamic programming,Congresses ، Control theory
رده :
QA
1
.
L4
v
.
1119
236. Recent trends in algebraic development techniques
پدیدآورنده: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
237. Recent trends in algebraic development techniques :
پدیدآورنده: José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)
رده :
QA76
.
76
.
D47
238. Relational and algebraic methods in computer science :
پدیدآورنده: Jules Desharnais, Walter Guttmann, Stef Joosten (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebraic logic, Congresses.,Computer science-- Mathematics, Congresses.,Relation algebras, Congresses.,Algebraic logic.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Relation algebras.
رده :
QA76
.
9
.
M35
239. Reversible computation :
پدیدآورنده: Michael Kirkedal Thomsen, Mathias Soeken (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
رده :
QA76
.
9
.
R48
240. Reversible computation :
پدیدآورنده: Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
